TASK: From the Specification to the Implementation
نویسندگان
چکیده
This paper presents the TASK framework which is intended to cover the life cycle of a Knowledge-Based System. TASK provides (i) a conceptual language which enable an informal specification at the knowledge level, (ii) a formal language TFL which permits an unambiguous specification and (iii) an operational shell TASK+ which allows an efficient execution even for bad structured problems. This paper presents the different languages, the links between them and emphasizes the implementation stage. We show how TASK proposes a nice compromise solution between efficiency and expressivity.
منابع مشابه
Iranian English Language Teachers’ Perception of Task-based Language Teaching (TBLT) Principles and Challenges to its Implementation
This paper presents the findings of a study on Iranian English language teachers’ understanding of Task-based language teaching (TBLT) principles and perceived challenges of TBLT implementation in Iran. The data obtained from 100 respondents on a 39-item survey instrument and four essay questions analyzed through frequency statistics revealed that nearly 70 percent of teachers are cognizant ...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملThe relationship between task repetition and language proficiency
Task repetition is now considered as an important task-based implementation variable which can affect complexity, accuracy, and fluency of L2 speech. However, in order to move towards theorizing the role of task repetition in second language acquisition, it is necessary that individual variables be taken into account. The present study aimed to investigate the way task r...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملApplicability Issues with TBLT in EFL Contexts
This paper examines the theoretical rationales and practical aspects of task-based language teaching (TBLT) with particular reference to research findings in EFL/ESL contexts. The definitional scope of the term ‘task’, polarizations in terms of task vs. non-task, and its relation to different language teaching approaches have engendered conceptual and methodological ambiguities. Moreover, fact...
متن کاملOrchestrating Task Planning in Writing: The Impact of Pre-Task Planning and Within-Task Planning on Fluency, Accuracy, and Complexity of Iranian EFL Learners’ Writing
Building on Robinson’s (2001, 2003) Cognition Hypothesis, Skehan’s (1998) Limited Attentional Capacity Model, and Kellog’s (1986) model of writing, this study examined the effect of task planning on the fluency, accuracy, and complexity of 60 Iranian EFL learners’ argumentative and narrative writings under different planning conditions. A quasi-experimental design with three levels of planning ...
متن کامل